Daniel Varró: шукати на сайті Z-Library

Pilarski, Sebastian, Staniszewski, Martin, Villeneuve, Frederic, Varro, Daniel

Рік:

2005

Мова:

english

Файл:

PDF, 277 KB

english, 2005

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design

Рік:

2019

Мова:

english

Файл:

PDF, 383 KB

english, 2019

Preface

Roberto Bruni, Dániel Varró

Журнал:

Péter Domokos, Daniel Varró

Рік:

2008

Мова:

english

Файл:

PDF, 108 KB

english, 2008

An Open Visualization Framework for Metamodel-Based Modeling Languages

Журнал:

Рік:

2002

Файл:

PDF, 641 KB

2002

Automated formal verification of visual modeling languages by model checking

Dániel Varró

Журнал:

Gergely Varró, Katalin Friedl, Dániel Varró

Рік:

2004

Мова:

english

Файл:

PDF, 877 KB

english, 2004

Implementing a Graph Transformation Engine in Relational Databases

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 1.03 MB

english, 2006

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7793 ||

Abdeen, Hani, Varró, Dániel, Sahraoui, Houari, Nagy, András Szabolcs, Debreceni, Csaba, Hegedüs, Ábel, Horváth, Ákos

Рік:

2013

Мова:

english

Файл:

PDF, 8.73 MB

english, 2013

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - Multi-objective optimization in rule-based design space exploration

Рік:

2014

Мова:

english

Файл:

PDF, 1.04 MB

english, 2014

Survey and classification of model transformation tools

Kahani, Nafiseh, Bagherzadeh, Mojtaba, Cordy, James R., Dingel, Juergen, Varró, Daniel

Журнал:

Semerath, Oszkar, Babikian, Aren A., Pilarski, Sebastian, Varro, Daniel

Рік:

2018

Мова:

english

Файл:

PDF, 1.59 MB

english, 2018

[IEEE 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - Montreal, QC, Canada (2019.5.25-2019.5.31)] 2019 IEEE/ACM 41st International Conference on Software Engineering: Companion Proceedings (ICSE-Companion) - VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models

Рік:

2019

Мова:

english

Файл:

PDF, 250 KB

english, 2019

[IEEE 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - Munich, Germany (2019.9.15-2019.9.20)] 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C) - On Artificial Intelligence for Simulation and Design Space Exploration in Gas Turbine Design

Pilarski, Sebastian, Staniszewski, Martin, Villeneuve, Frederic, Varro, Daniel

Рік:

2019

Файл:

PDF, 383 KB

2019

Automated Generation of Consistent Graph Models with Multiplicity Reasoning

Marussy, Kristof, Semerath, Oszkar, Varro, Daniel

Журнал:

IEEE Transactions on Software Engineering

Рік:

2020

Файл:

PDF, 2.09 MB

2020

Joint Optimization and Reachability Analysis in Graph Transformation Systems with Time

Szilvia Gyapay, Akos Schmidt, Dániel Varró

Журнал:

László Gönczy, Máté Kovács, Dániel Varró

Рік:

2004

Мова:

english

Файл:

PDF, 248 KB

english, 2004

Modeling and Verification of Reliable Messaging by Graph Transformation Systems

Журнал:

Andrea Darabos, András Pataricza, Dániel Varró

Рік:

2007

Мова:

english

Файл:

PDF, 393 KB

english, 2007

Towards Testing the Implementation of Graph Transformations

Журнал:

Dániel Varró, András Balogh

Рік:

2008

Мова:

english

Файл:

PDF, 438 KB

english, 2008

The model transformation language of the VIATRA2 framework

Журнал:

Science of Computer Programming

Рік:

2007

Мова:

english

Файл:

PDF, 965 KB

english, 2007

Experimental assessment of combining pattern matching strategies with VIATRA2

Ákos Horváth, Gábor Bergmann, István Ráth, Dániel Varró

Журнал:

International Journal on Software Tools for Technology Transfer (STTT)

Рік:

2010

Мова:

english

Файл:

PDF, 3.26 MB

english, 2010

VPM: A visual, precise and multilevel metamodeling framework for describing mathematical domains and UML (The Mathematics of Metamodeling is Metamodeling Mathematics)

Dániel Varró, András Pataricza

Журнал:

Zoltán Balogh, Dániel Varró

Рік:

2003

Мова:

english

Файл:

PDF, 1.33 MB

english, 2003

Model transformation by example using inductive logic programming

Журнал:

Рік:

2009

Мова:

english

Файл:

PDF, 781 KB

english, 2009

Non-functional properties in the model-driven development of service-oriented systems

Stephen Gilmore, László Gönczy, Nora Koch, Philip Mayer, Mirco Tribastone, Dániel Varró

Журнал:

István Ráth, András Ökrös, Dániel Varró

Рік:

2011

Мова:

english

Файл:

PDF, 1.62 MB

english, 2011

Synchronization of abstract and concrete syntax in domain-specific modeling languages

Журнал:

Gergely Varró, Dániel Varró

Рік:

2010

Мова:

english

Файл:

PDF, 1.76 MB

english, 2010

Graph Transformation with Incremental Updates

Журнал:

Рік:

2004

Мова:

english

Файл:

PDF, 464 KB

english, 2004

Applying a Model Transformation Taxonomy to Graph Transformation Technology

Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai

Журнал:

Gergely Varró, Katalin Friedl, Dániel Varró

Рік:

2006

Мова:

english

Файл:

PDF, 252 KB

english, 2006

Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans

Журнал:

Рік:

2006

Мова:

english

Файл:

PDF, 533 KB

english, 2006

Tool Support for Engineering Certifiable Software

László Gönczy, István Majzik, Akos Horváth, Dániel Varró, András Balogh, Zoltán Micskei, András Pataricza

Журнал:

Dániel Varró, Gergely Varró, András Pataricza

Рік:

2009

Мова:

english

Файл:

PDF, 690 KB

english, 2009

Designing the automatic transformation of visual languages

Журнал:

Science of Computer Programming

Рік:

2002

Мова:

english

Файл:

PDF, 175 KB

english, 2002

Towards Symbolic Analysis of Visual Modeling Languages

Dániel Varró

Журнал:

BENEDICT, ROBERT G., TYLER, VARRO E., BRADY, LYNN R., STUNTZ, DANIEL E.

Рік:

2003

Мова:

english

Файл:

PDF, 171 KB

english, 2003

Occurrence of Sedoheptulose in Carpophores and Basidiospores of Inocybe Species

Журнал:

Nature

Рік:

1961

Файл:

PDF, 241 KB

1961

Dynamic constraint satisfaction problems over models

Horváth, Ákos, Varró, Dániel

Журнал:

Bergmann, Gábor, Ráth, István, Varró, Gergely, Varró, Dániel

Рік:

2012

Мова:

english

Файл:

PDF, 1.53 MB

english, 2012

Change-driven model transformations

Журнал:

Journal of the Optical Society of America B

Рік:

2012

Мова:

english

Файл:

PDF, 2.08 MB

english, 2012

Photoelectric effect from a metal surface: a revisited theoretical model

Daniele, R., Ferrante, G., Fiordilino, E., Varró, S.

Журнал:

Рік:

1992

Мова:

english

Файл:

PDF, 699 KB

english, 1992

[IEEE 2010 IEEE/AIAA 29th Digital Avionics Systems Conference (DASC) - Salt Lake City, UT, USA (2010.10.3-2010.10.7)] 29th Digital Avionics Systems Conference - Model-driven development of ARINC 653 configuration tables

Horvath, Akos, Varro, Daniel

Рік:

2010

Мова:

english

Файл:

PDF, 829 KB

english, 2010

Lack of Commensal Flora in Helicobacter pylori–Infected INS-GAS Mice Reduces Gastritis and Delays Intraepithelial Neoplasia

Jennifer L. Lofgren, Mark T. Whary, Zhongming Ge, Sureshkumar Muthupalani, Nancy S. Taylor, Melissa Mobley, Amanda Potter, Andrea Varro, Daniel Eibach, Sebastian Suerbaum, Timothy C. Wang, James G. Fo

Журнал:

Рік:

2011

Мова:

english

Файл:

PDF, 2.61 MB

english, 2011

Defining the Role of Cholecystokinin in the Lipid-Induced Human Brain Activation Matrix

Daniel J. Lassman, Shane McKie, Lloyd J. Gregory, Simon Lal, Massimo D'Amato, Islay Steele, Andrea Varro, Graham J. Dockray, Steven C.R. Williams, David George Thompson

Журнал:

Daniel Clyde, Carrie A. Duckworth, Andrea Varro, Timothy C. Wang, David M. Pritchard

Рік:

2010

Мова:

english

Файл:

PDF, 1.49 MB

english, 2010

Progastrin Stimulates Colonic Myofibroblast Proliferation In Vitro and Its Transgenic Overexpression Increases Colonic Myofibroblast Abundance In Vivo

Журнал:

Schürr, Andy, Varró, Dániel, Varró, Gergely

Рік:

2011

Мова:

english

Файл:

PDF, 43 KB

english, 2011

[Lecture Notes in Computer Science] Applications of Graph Transformations with Industrial Relevance Volume 7233 || Towards an Automated 3D Reconstruction of Plant Architecture

Рік:

2012

Мова:

english

Файл:

PDF, 1.75 MB

english, 2012

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7793 || Quality of Merge-Refactorings for Product Lines

Duckworth, Carrie A., Clyde, Daniel, Worthley, Daniel L., Wang, Timothy C., Varro, Andrea, Pritchard, D. Mark

Рік:

2013

Мова:

english

Файл:

PDF, 552 KB

english, 2013

Progastrin-Induced Secretion of Insulin-Like Growth Factor 2 From Colonic Myofibroblasts Stimulates Colonic Epithelial Proliferation in Mice

Журнал:

Рік:

2013

Мова:

english

Файл:

PDF, 3.59 MB

english, 2013

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7793 || Abstraction and Training of Stochastic Graph Transformation Systems

Schürr, Andy, Varró, Dániel, Varró, Gergely

Рік:

2013

Мова:

english

Файл:

PDF, 1.08 MB

english, 2013

[Lecture Notes in Computer Science] Applications of Graph Transformations with Industrial Relevance Volume 7233 ||

Рік:

2012

Мова:

english

Файл:

PDF, 9.32 MB

english, 2012

Hanbury Brown–Twiss type correlations with surface plasmon light

Varró, Sándor, Kroó, Norbert, Oszetzky, Dániel, Nagy, Attila, Czitrovszky, Aladár

Журнал:

Journal of Modern Optics

Рік:

2011

Мова:

english

Файл:

PDF, 724 KB

english, 2011

[IEEE 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering and Reverse Engineering (CSMR-WCRE) - Antwerp, Belgium (2014.02.3-2014.02.6)] 2014 Software Evolution Week - IEEE Conference on Software Maintenance, Reengineering, and Reverse Engineering (CSMR-WCRE) - Anti-pattern detection with model queries: A comparison of approaches

Ujhelyi, Zoltan, Horvath, Akos, Varro, Daniel, Csiszar, Norbert Istvan, Szoke, Gabor, Vidacs, Laszlo, Ferenc, Rudolf

Рік:

2014

Мова:

english

Файл:

PDF, 2.66 MB

english, 2014

EMF-IncQuery: An integrated development environment for live model queries

Ujhelyi, Zoltán, Bergmann, Gábor, Hegedüs, Ábel, Horváth, Ákos, Izsó, Benedek, Ráth, István, Szatmári, Zoltán, Varró, Dániel

Журнал:

Science of Computer Programming

Рік:

2015

Мова:

english

Файл:

PDF, 4.36 MB

english, 2015

Cellular properties of C-terminal KCNH2 long QT syndrome mutations: Description and divergence from clinical phenotypes

Biliczki, Peter, Girmatsion, Zenawit, Harenkamp, Sabine, Anneken, Lars, Brandes, Ralf P., Varro, Andras, Marschall, Christoph, Herrera, Daniel, Hohnloser, Stefan H., Nattel, Stanley

Журнал:

Heart Rhythm

Рік:

2008

Мова:

english

Файл:

PDF, 1.67 MB

english, 2008

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 8568 || A Search Based Test Data Generation Approach for Model Transformations

Di Ruscio, Davide, Varró, Dániel

Рік:

2014

Мова:

english

Файл:

PDF, 330 KB

english, 2014

[Lecture Notes in Computer Science] Theory and Practice of Model Transformations Volume 8568 || On the Usage of TGGs for Automated Model Transformation Testing

Di Ruscio, Davide, Varró, Dániel

Рік:

2014

Мова:

english

Файл:

PDF, 321 KB

english, 2014

Lessons learned from building model-driven development tools

Richard F. Paige,Dániel Varró

Журнал:

Рік:

2012

Мова:

english

Файл:

PDF, 381 KB

english, 2012

[IEEE 2010 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM) - Pisa, Italy (2010.09.13-2010.09.18)] 2010 8th IEEE International Conference on Software Engineering and Formal Methods - Back-annotation of Simulation Traces with Change-Driven Model Transformations

Hegedus, Abel, Bergmann, Gabor, Rath, Istvan, Varro, Daniel

Рік:

2010

Мова:

english

Файл:

PDF, 747 KB

english, 2010

[Lecture Notes in Computer Science] Fundamental Approaches to Software Engineering Volume 7793 || A Grey-Box Approach for Automated GUI-Model Generation of Mobile Applications